#ifndef __RTOS_BSP_H
#define __RTOS_BSP_H

#include "at32f435_437.h"

#include "FreeRTOS.h"
#include "task.h"
#include "semphr.h"

#include <stdio.h>
#include <stdarg.h>

int uart_printf_rtos(char *format, ...);
void qspi_xip_config(void);
void delay_init_rtos(void);
void delay_us_rtos(uint32_t nus);
void delay_ms_rtos(uint16_t nms);

#endif